#!/bin/sh

if [ "x$(echo ${PWD:0:1})" == "x/" ]; then
    BaseDir="$(dirname "${0}")"
else
    BaseDir="$(pwd)/$(dirname "${0}")"
fi

. "${BaseDir}/common.sh"

tools_file_name="${iso%%.iso}.tar.gz"
if [ -e "${TOOLS_DIR}/${tools_file_name}" ]; then
	rm -f "${TOOLS_DIR}/${tools_file_name}"
fi

# Just to finish with good mood
true
